пропозициональный вывод

propositional inference

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

операция логического вывода — inference operation